English translation for "déduction naturelle"

natural deduction

Example Sentences:

	1.	The concept of natural deduction is a generalization of the concept of proof. Le concept de déduction naturelle est une généralisation de la notion de démonstration.
	2.	Every provable statement is either an axiom itself, or it can be deduced from the axioms by a finite number of applications of the deduction rules. Un séquent est prouvable s'il est ou bien un axiome, ou bien déduit des axiomes par un nombre fini d'applications des règles de la déduction naturelle.
	3.	The program was initially developed to complement the logic text of Donald Kalish and Richard Montague, and the derivations module therefore uses their distinctive natural deduction system. Le programme a été développé au départ pour compléter le texte de logique de Donald Kalish et de Richard Montague, et le module pour les dérivations utilise par conséquent leur système de déduction naturelle.
	4.	As one can verify, LP preserves most other inference patterns that one would expect to be valid, such as De Morgan's laws and the usual introduction and elimination rules for negation, conjunction, and disjunction. On peut vérifier que LP préserve la plupart des autres schémas d'inférences valides qu'on pourrait souhaiter, comme les lois de De Morgan et les règles de la déduction naturelle pour l'introduction et l'élimination de la négation, la conjonction et la disjonction.

Similar Words：

"déductible" English translation, "déductif" English translation, "déduction" English translation, "déduction fiscale" English translation, "déduction logique" English translation, "déductivité" English translation, "déduire" English translation, "déduplication" English translation, "dédé" English translation